Skip to content

fix: preserve primary history cache and retire evicted rows (#29) - #110

Closed
JavaZeroo wants to merge 2 commits into
fix/resize-snapshot-r29from
fix/cached-history-r29
Closed

JavaZeroo wants to merge 2 commits into
fix/resize-snapshot-r29from
fix/cached-history-r29

Conversation

@JavaZeroo

@JavaZeroo JavaZeroo commented Oct 27, 2026 •

Copy link
Copy Markdown
Owner

resize 重绘后的缓存历史可能在空输入或备用屏切换时丢失;容量淘汰还可能只删掉一份副本,导致后续空输入重复导入并增加淘汰计数。本修改让主屏缓存随拥有值快照挂起/恢复,并让淘汰同时失效实际原生历史和旧回放中的缓存行。

  • 候选升至 termforge.6:C ABI 核对整个最旧原生前缀 ID 后再修改,保持历史容量;原生与缓存独有行的淘汰各计一次。固定上游、注册表依赖和许可不变。
  • 公开接口回归覆盖透明输入、选择/Find、主/备用屏与 pending 中断、ED3/RIS、整段/逐字节、两项独立审查反例;错误前缀不修改数据另有 FFI 测试。
  • Windows 11 x64 候选/system/Release CTest 49/49,内部 1 项剪贴板跳过(私有 station OpenClipboard 5);Rust 157+7+1,runner 6/6。Standards / Spec 的代码与证据复核均为 0 项。早期虽绿但缺覆盖的运行和 red 反例分别保留。

原因、固定源码与完整边界。最终代码的混宽历史视口仍复现 8,8,4,4 / 屏幕4列,检查退出1,未实际渲染;空输入后历史现在保持2。完整 resize/reflow、原版对齐、真实 child/DPI/呈现、实验官方后端及性能继续未完成。

叠加在 Draft #109 的 fix/resize-snapshot-r29,基点 6a108e1。关联 #29,保持开放;本 PR 不代表 main 已合入、正式核心选型或 R2 验收。

GitHub CI:pull_request External core candidate 40542952181、pull_request Build and synthetic regression 40542952143、push External core candidate 40542946938、push Build and synthetic regression 40542947058 全部通过(四项 attempt 1,Windows/Linux 作业均成功,无 rerun)。PR merge tree 与已审查最终 tree 相同;PR 保持 Draft,#29 不关闭。

@JavaZeroo

Copy link
Copy Markdown
Owner Author

按 #29 路线裁决(选项 C)关闭:不采纳本栈的行模型路线。

可叠加的部分已分别落地:#263(回放坐标失效修复)、#264(�iew_mapping 映射层)。其余提交属于被 #169 取代的行模型路线。分支保留供参考。

@JavaZeroo JavaZeroo closed this Oct 31, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant